This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
WeiterlesenThis book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...
WeiterlesenThe book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Weiterlesen